function toConsole (data)
{	var console = document.getElementById('console');
	if (console != null)
	{	var newLine = document.createElement('div');
		console.appendChild(newLine);
		var txt = document.createTextNode(data);
		newLine.appendChild(txt);
	}
}